翻訳と辞書
Words near each other
・ Closeburn, New Zealand
・ Closeburn, Queensland
・ CloseCall America
・ Closed
・ Closed (album)
・ Closed (poker)
・ Closed adoption
・ Closed and exact differential forms
・ Closed and Open Changes
・ Closed Attractions
・ Closed Basin Project
・ Closed bolt
・ Closed by Prescription
・ Closed captioning
・ Closed Casket
Closed category
・ Closed Chambers
・ Closed cinemas in Kingston upon Hull
・ Closed circle
・ Closed circle of suspects
・ Closed Circuit (1978 film)
・ Closed Circuit (2013 film)
・ Closed Circuit (album)
・ Closed city
・ Closed communion
・ Closed community
・ Closed concept
・ Closed convex function
・ Closed couplet
・ Closed Curtain


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Closed category : ウィキペディア英語版
Closed category
In category theory, a branch of mathematics, a closed category is a special kind of category.
In a locally small category, the ''external hom'' (''x'', ''y'') takes two objects to the set of morphisms. So in the category of sets, this is an object of the category itself. In the same vein, in a closed category, the morphisms from one object to another can be seen as lying inside the category. This is the ''internal hom'' ().
Every closed category has a forgetful functor to the category of sets, which in particular takes the internal hom to the external hom.
==Definition==
A closed category can be defined as a category V with a so-called internal Hom functor
:\left(-\right ) : V^ \times V \to V ,
left Yoneda arrows natural in B and C and dinatural in A
:L : \left(C\right ) \to \left\right]
and a fixed object I of V such that there is a natural isomorphism
:i_A : A \cong \left(A\right )
and a dinatural transformation
:j_A : I \to \left(A\right ).\,

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Closed category」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.